基于多角度多层次的认知无线电网络安全研究

认知无线电(Cognitive Radio)技术是为了解决无线网络中频谱资源短缺问题而提出来的新兴技术,它的提出有效的缓解了频谱资源短缺问题,但同时也引入了特有的安全威胁,针对认知无线的特点,从整体架构、协议栈和认知行为的多个角度和层次,研究其在无线网络中引入的安全隐患和已有的解决方案,并对认知无线电安全问题做进一步的展望.     

基于USB的WSN测试与分析系统

实时监控无线传感器网络（WSN）从单个节点到整个网络的运行状态,是进行无线传感器各类研究及应用开发的关键技术之一,为了克服基于UART的数据传输所存在的速率瓶颈问题,设计了一种基于USB的WSN监测系统,主要包括侦听节点和监测分析系统两部分。侦听节点采用CC2531 USB Dongle,以被动侦听的方式获取无线传感器网络的数据包（符合IEEE802.15.4标准）,封装后通过USB接口上传至上位机监测分析系统。上位机监测系统,通过USB接口读取数据帧、完成帧信息存储、解析。实验结果表明该设计能够实现数据传输并以图形方式动态显示网络运行状态。本监测系统的设计为开展WSN的各类理论及实验研究提供了有力的分析工具。     

一种高效的最短路径完全动态更新算法

在通信网络中,节点间最短路径的计算是链路状态路由协议计算路由的基础。通过对现有动态最短路径算法的深入研究,提出了一种处理网络拓扑变化的完全动态最短路径算法DSPT-ID。该算法利用已有SPT的信息,建立一个最短路径树的更新队列,当网络拓扑发生变化时,算法针对边的权值增大和减小,分别进行更新,并将更新节点局限在受拓扑变化影响的节点中,从而达到SPT的增量更新。算法复杂度分析和仿真结果显示,DSPT-ID算法具有更少的节点更新次数和更高的时间效率。     

Evolutionary circuit design for fast FPGA-based classification of network application protocols

The evolutionary design can produce fast and efficient implementations of digital circuits. It is shown in this paper how evolved circuits, optimized for the latency and area, can increase the throughput of a manually designed classifier of application protocols. The classifier is intended for high speed networks operating at 100 Gbps. Because a very low latency is the main design constraint, the classifier is constructed as a combinational circuit in a field programmable gate array (FPGA). The classification is performed using the first packet carrying the application payload. The improvements in latency (and area) obtained by Cartesian genetic programming are validated using a professional FPGA design tool. The quality of classification is evaluated by means of real network data. All results are compared with commonly used classifiers based on regular expressions describing application protocols.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于6LoWPAN和ARM的校园无线传感网络设计

为了实现对校园多种传感信息的实时采集、处理和监控,以及对电器实现智能控制.本文采用TI公司的CC2530无线模块实现了无线传感网络的自定义组建与通信.客户端采用PC、iOS和Android三种实现,能够随时登陆查看相应信息,并远程控制电器.本方案解决了校园与互联网的信息无缝连接问题,具有广阔的应用前景.     

AMI通信网络中微功率无线通信的性能测试技术及系统研究

微功率无线通信是高级量测体系的主要通信方式之一,各厂家的通信模块性能不一,测试技术尚未形成统一的规范;设计了微功率无线通信的测试系统,由射频性能测试系统和协议一致性分析系统组成;系统采用屏蔽测试箱、多功能电磁波小室、综合测试分析仪、误码分析仪、标准协议信号源等模块组成,屏蔽箱对800 MHz频率以下的无线电信号有超过70dB的抑制,可以提供相对纯净的无线电暗室环境,减少外界无线电波的干扰;测试频率范围为30MHz~1GHz,提供66个测试频点,测试频率误差小于2ppm,误码测试精度小于0.001%,功率测试精度(闭环)为5%(0.2dB);实现了在实验室情况下对微功率无线网络性能的全面测试和评估,具备很好可操作性、便利性和可复现性。     

商用车在线故障诊断系统设计与实现

为方便商用车监测运行状态与故障诊断,设计了一种基于SAE J1939协议的在线故障诊断系统;搭建了以S3C6410为主控制器的嵌入式Linux系统平台,详细介绍了故障诊断系统的硬件、软件以及应用层设计方案;该系统能够在线解析和显示车辆报文信息,保存CAN网络接收到的报文;实验结果表明,该系统运行稳定,实时性好,能够满足车辆在线监视和诊断的需要.     

智能网络运维监控系统

我国在自动化的监控手段方面还比较缺乏,完全无法做到及时且全面的对多个业务项目系统的真实运行情况以及运行状态进行有效的掌握,运维管理所采用的管理模式是传统形式中的被动形式管理模式.因此,为了给网络系统提供更加具有可靠性和安全性的工作,文章将智能化的网络运维监控系统作为主要的研究对象,对其系统结构以及系统功能进行详细的介绍,并将SNMP协议和ICMP协议作为网络运维系统的基础,对其进行详细的设计,同时对系统中的软件设计方案进行了周密的探讨.